More from this Author

Advances on Model Logic

by Frank Wolter (Editor), Heinrich Wansing (Editor), Maarten De Rijke (Editor), Michael Zakharyaschev (Editor)